Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Refining Mobile UML State Machines

Identifieur interne : 006974 ( Main/Exploration ); précédent : 006973; suivant : 006975

Refining Mobile UML State Machines

Auteurs : Alexander Knapp ; Stephan Merz ; Martin Wirsing

Source :

RBID : CRIN:knapp04a

English descriptors

Abstract

We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold : first, we formalize the semantics of state machines in MTLA, an extension of Lamport's Temporal Logic of Actions with spatial modalities. Second, we study refinement concepts for state machines that are semantically justified in MTLA.


Affiliations:

Links toward previous steps (curation, corpus...)

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="232">Refining Mobile UML State Machines</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:knapp04a</idno>
<date when="2004" year="2004">2004</date>
<idno type="wicri:Area/Crin/Corpus">003D40</idno>
<idno type="wicri:Area/Crin/Curation">003D40</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003D40</idno>
<idno type="wicri:Area/Crin/Checkpoint">000802</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000802</idno>
<idno type="wicri:Area/Main/Merge">006C77</idno>
<idno type="wicri:Area/Main/Curation">006974</idno>
<idno type="wicri:Area/Main/Exploration">006974</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">Refining Mobile UML State Machines</title>
<author>
<name sortKey="Knapp, Alexander" sort="Knapp, Alexander" uniqKey="Knapp A" first="Alexander" last="Knapp">Alexander Knapp</name>
</author>
<author>
<name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
</author>
<author>
<name sortKey="Wirsing, Martin" sort="Wirsing, Martin" uniqKey="Wirsing M" first="Martin" last="Wirsing">Martin Wirsing</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>mobility</term>
<term>refinement</term>
<term>specification</term>
<term>temporal logic</term>
<term>uml</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en" wicri:score="1856">We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold : first, we formalize the semantics of state machines in MTLA, an extension of Lamport's Temporal Logic of Actions with spatial modalities. Second, we study refinement concepts for state machines that are semantically justified in MTLA.</div>
</front>
</TEI>
<affiliations>
<list></list>
<tree>
<noCountry>
<name sortKey="Knapp, Alexander" sort="Knapp, Alexander" uniqKey="Knapp A" first="Alexander" last="Knapp">Alexander Knapp</name>
<name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
<name sortKey="Wirsing, Martin" sort="Wirsing, Martin" uniqKey="Wirsing M" first="Martin" last="Wirsing">Martin Wirsing</name>
</noCountry>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006974 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006974 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     CRIN:knapp04a
   |texte=   Refining Mobile UML State Machines
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022